Vi viser in denne oppgaven at det er en naturlig måte og gjøre god for endelighets obstruksjon i en generell modell kategori. Operatoren $(Wa(-), w(-))$ vises å være en funktor fra modell kategorier hvor det eksisterer ...